3

Dot-depth, monadic quantifier alternation, and first-order closure over grids and pictures

Year:
2002
Language:
english
File:
PDF, 504 KB
english, 2002